1. Formal aspects in security and trust :
Author: Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Formal methods (Computer science), Congresses.,Public key infrastructure (Computer security), Congresses.
